Khasidashvili, Z. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (25)
Les plus populaires
Liste
- Liste
- Tableau

1

Context-sensitive Conditional Expression Reduction Systems

Zurab Khasidashvili, Vincent van Oostrom

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1995

Langue:

english

Fichier:

PDF, 538 KB

english, 1995

2

[IEEE Comput. Soc Sixth IEEE International High-Level Design Validation and Test Workshop - Monterey, CA, USA (7-9 Nov. 2001)] Sixth IEEE International High-Level Design Validation and Test Workshop - An enhanced cut-points algorithm in formal equivalence verification

Khasidashvili, Z., Moondanos, J., Kaiss, D., Hanna, Z.

Année:

2001

Langue:

english

Fichier:

PDF, 88 KB

english, 2001

3

Symbolic trajectory evaluation for word-level verification: theory and implementation

Chakraborty, Supratik, Khasidashvili, Zurab, Seger, Carl-Johan H., Gajavelly, Rajkumar, Haldankar, Tanmay, Chhatani, Dinesh, Mistry, Rakesh

Journal:

Formal Methods in System Design

Année:

2017

Langue:

english

Fichier:

PDF, 1.00 MB

english, 2017

4

Encoding RTL Constructs for MathSAT: a Preliminary Report

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 261 KB

english, 2006

5

The conflict-free Reduction Geometry

Zurab Khasidashvili, John Glauert

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 358 KB

english, 2005

6

On the longest perpetual reductions in orthogonal expression reduction systems

Zurab Khasidashvili

Journal:

Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 258 KB

english, 2001

7

Relating conflict-free stable transition and event models via redex families

Zurab Khasidashvili, John Glauert

Journal:

Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 265 KB

english, 2002

8

An Abstract Böhm-normalization

John Glauert, Zurab Khasidashvili

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2002

9

SAT-Based Methods for Sequential Hardware Equivalence Verification without Synchronization

Zurab Khasidashvili, Ziyad Hanna

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 105 KB

english, 2003

10

An Abstract Concept of Optimal Implementation

Zurab Khasidashvili, John Glauert

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 1.50 MB

english, 2003

11

Effect of tissue heterogeneity on the selection of the operating regime of an x-ray tube in radiodiagnostic investigations

R. V. Stavitskii, L. A. Gurevich, I. Sh. Khasidashvili

Journal:

Biomedical Engineering

Année:

1986

Langue:

english

Fichier:

PDF, 224 KB

english, 1986

12

Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems

Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom

Journal:

Information and Computation

Année:

2001

Langue:

english

Fichier:

PDF, 325 KB

english, 2001

13

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - A compositional theory for post-reboot observational equivalence checking of hardware

Khasidashvili, Zurab, Kaiss, Daher, Bustan, Doron

Année:

2009

Langue:

english

Fichier:

PDF, 243 KB

english, 2009

14

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Post-reboot Equivalence and Compositional Verification of Hardware

Khasidashvili, Zurab, Skaba, Marcelo, Kaiss, Daher, Hanna, Ziyad

Année:

2006

Langue:

english

Fichier:

PDF, 352 KB

english, 2006

15

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Assume-guarantee validation for STE properties within an SVA environment

Khasidashvili, Zurab, Gavrielov, Gavriel, Melham, Tom

Année:

2009

Langue:

english

Fichier:

PDF, 219 KB

english, 2009

16

[IEEE 2006 International Conference on Computer Design - San Jose, CA, USA (2007.10.1-2007.10.4)] 2006 International Conference on Computer Design - Seqver : A Sequential Equivalence Verifier for Hardware Designs

Kaiss, Daher, Goldenberg, Silvian, Hanna, Ziyad, Khasidashvili, Zurab

Année:

2006

Langue:

english

Fichier:

PDF, 3.59 MB

english, 2006

17

[IEEE [1993] The 2nd Israel Symposium on Theory and Computing Systems - Natanya, Israel (7-9 June 1993)] [1993] The 2nd Israel Symposium on Theory and Computing Systems - On the equivalence of persistent term rewriting systems and recursive program schemes

Khasidashvili, Z.

Année:

1993

Langue:

english

Fichier:

PDF, 861 KB

english, 1993

18

[IEEE Comput. Soc IEEE International High Level Design Validation and Test Workshop (HLDVT'02) - Cannes, France (27-29 Oct. 2002)] Seventh IEEE International High-Level Design Validation and Test Workshop, 2002. - TRANS: efficient sequential verification of loop-free circuits

Khasidashvili, Z., Moondanos, J., Hanna, Z.

Année:

2002

Langue:

english

Fichier:

PDF, 546 KB

english, 2002

19

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Verifying equivalence of memories using a first order logic theorem prover

Khasidashvili, Zurab, Kinanah, Mahmoud, Voronkov, Andrei

Année:

2009

Langue:

english

Fichier:

PDF, 271 KB

english, 2009

20

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification

Kaiss, Daher, Skaba, Marcelo, Hanna, Ziyad, Khasidashvili, Zurab

Année:

2007

Langue:

english

Fichier:

PDF, 180 KB

english, 2007

21

A syntactical analysis of normalization

Khasidashvili, Z

Journal:

Journal of Logic and Computation

Année:

2000

Langue:

english

Fichier:

PDF, 288 KB

english, 2000

22

[IEEE 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014) - Lausanne, Switzerland (2014.10.19-2014.10.21)] 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) - From visual to logical formalisms for SoC validation

Fraer, Ranan, Keren, Doron, Khasidashvili, Zurab, Novakovsky, Alexander, Puder, Avi, Singerman, Eli, Talmor, Eran, Vardi, Moshe Y., Yang, Jin

Année:

2014

Langue:

english

Fichier:

PDF, 632 KB

english, 2014

23

[IEEE ICCAD 2004. International Conference on Computer Aided Design - San Jose, CA, USA (7-11 Nov. 2004)] IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004. - Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints

Khasidashvili, Z., Skaba, M., Kaiss, D., Hanna, Z.

Année:

2004

Langue:

english

Fichier:

PDF, 589 KB

english, 2004

24

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification

Kaiss, Daher, Skaba, Marcelo, Hanna, Ziyad, Khasidashvili, Zurab

Année:

2007

Langue:

english

Fichier:

PDF, 180 KB

english, 2007

25

[IEEE 2019 IEEE International Conference on Data Science and Advanced Analytics (DSAA) - Washington, DC, USA (2019.10.5-2019.10.8)] 2019 IEEE International Conference on Data Science and Advanced Analytics (DSAA) - Range Analysis and Applications to Root Causing

Khasidashvili, Zurab, Norman, Adam J

Année:

2019

Fichier:

PDF, 196 KB

2019